1
Formalized Probability Theory and Applications Using Theorem Proving

Formalized Probability Theory and Applications Using Theorem Proving

Osman Hasan, Sofiène Tahar
సంవత్సరం:
2015
భాష:
english
ఫైల్:
PDF, 3.76 MB
0 / 0
english, 2015
2
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

England, Matthew, Geuvers, Herman, Hasan, Osman, Rabe, Florian, Teschke, Olaf
సంవత్సరం:
2017
భాష:
english
ఫైల్:
PDF, 49.24 MB
0 / 0
english, 2017
3
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
సంవత్సరం:
2021
భాష:
english
ఫైల్:
PDF, 2.12 MB
0 / 0
english, 2021
4
Parallel Computing for Real-time Signal Processing and Control

Parallel Computing for Real-time Signal Processing and Control

Mohammad Osman Tokhi, M. Alamgir Hossain, M. Hasan Shaheed
సంవత్సరం:
2003
భాష:
english
ఫైల్:
PDF, 22.51 MB
0 / 4.0
english, 2003
5
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil
సంవత్సరం:
2021
భాష:
english
ఫైల్:
EPUB, 6.02 MB
0 / 0
english, 2021
6
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
సంవత్సరం:
2021
భాష:
english
ఫైల్:
PDF, 2.12 MB
0 / 0
english, 2021
7
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki
సంవత్సరం:
2021
భాష:
english
ఫైల్:
EPUB, 6.02 MB
0 / 0
english, 2021